1. .....................
المؤلف: Chang, Chin-liang
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
2. A computational logic handbook
المؤلف: BOYER,ROBERT S
المکتبة: (طهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
3. A resolution principle for a logic with restricted quantifiers
المؤلف: H.-J. Burckert
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
4. A resolution principle for a logic with restricted quantifiers
المؤلف: Burckert, Hans-Jurgen
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
5. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
المؤلف: Jacques Calmet...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
6. Automated Deduction – CADE-25
المؤلف: \ Amy P. Felty , Aart Middeldorp (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
7. Automated Deduction : Proceedings
المؤلف: M.E. Stickel )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
449
8. Automated deduction--CADE-22
المؤلف: Renate A. Schmidt (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA76
.
9
.
A96
I57
2009eb
9. Automated deduction, CADE-14
المؤلف: William McCune, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.
10. Automated deduction -- CADE-21
المؤلف: / Frank Pfenning (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
2007
11. Automated deduction--CADE 16
المؤلف: / Harald Ganzinger (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
1999
12. Automated deduction - CADE-17
المؤلف: / David McAllester (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
2000
13. Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
المؤلف: Andrei Voronkov )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2392
14. Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings
المؤلف: Leonardo de Moura )ed.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
76
.
9
.
A96
2017
15. Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
المؤلف: Claude Kirchner, Helene Kirchner, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1421
16. Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
المؤلف: Franz Baader )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2741
17. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
المؤلف: Alan Bundy )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
814
18. Automated deduction CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
المؤلف: M.A. McRobbie, J.K. Slaney )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1104
19. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings
المؤلف: David McAllester )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1831
20. Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I57
1992
